<?php

session_start();

include_once "metier/connexion.php";

redirigerSiNonConnecte();

if(deconnecter()) {
	//Si l'utilisateur vient de changer son mot de passe, on lui demande de se reconnecter
	if(isset($_GET["s"]) && $_GET["s"] == "motdepassemodifie")
		header("Location: connexion.php?s=motdepassemodifie");
	//Sinon on envoie l'utilisateur vers l'index
	else
		header("Location: index.php?s=deconnexion");
	exit;
}
else {
	header("Location: index.php?e=deconnexion");
	exit;
}

?>